A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States

This paper studies some normative relations that hold between actions, their preconditions and effects, with particular attention to connecting what are often called ‘ought be’ norms do’ norms. We use a formal model based on form of transition system ‘coloured labelled system’ (coloured LTS) introduced in series papers by Sergot Craven. Those works have variously presented formalism (an ‘action language’) nC+ for defining computing (coloured) LTS, another, separate formalism, modal language interpreted LTS used express its properties. consolidate these two strands. Instead specifying the obligatory prohibited states transitions as part construction coloured nC+, we represent those construct from given regular (uncoloured) one. also show how connections previously treated fixed constraints can instead be defined within representing